翻訳と辞書
Words near each other
・ Universal testing machine
・ Universal Thee
・ Universal Themes
・ Universal Time
・ Universal Time-Sharing System
・ Universal Tolerance Organization
・ Universal Torah Registry
・ Universal transit pass
・ Universal translator
・ Universal Transportes Aéreos
・ Universal Transverse Mercator coordinate system
・ Universal Truths and Cycles
・ Universal Tube & Rollform Equipment
・ Universal tuning
・ Universal Turing machine
Universal type
・ Universal Typeface Experiment
・ Universal Uclick
・ Universal United House of Prayer
・ Universal usability
・ Universal validity of collective labour agreements
・ Universal value
・ Universal variable formulation
・ Universal veil
・ Universal Verification Methodology
・ Universal village collaboration suite
・ Universal Waite tarot deck
・ Universal War
・ Universal War One
・ Universal Warning Records


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Universal type : ウィキペディア英語版
Universal type
In type theory universal type(s) may refer to:
* The top type in a type system with subtyping.
* Universal types is a shorthand for universally quantified types in systems that support parametric polymorphism like System F.


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Universal type」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.